Section: New Software and Platforms

MaskVerif

Keywords: Masking - Hardware and Software Platform

Functional Description: MaskVerif is a tool to verify the security of implementations protected against side channel attacks, in particular differential power analysis. It allows to check different security notions in the probing model: - Probing security - Non Interference - Strong Non Interference. The tool is able to analyse software implementations and hardware implementations (written in Verilog). It can prove the different security notions in presence of glitch or transition.

• Contact: Benjamin Grégoire

• URL: https://sites.google.com/view/maskverif/home